NKS/DIGREL Investigation of state-of-the art in Nordic PSA-studies Stefan Authén Risk Pilot

Source URL: www.nks.org

testingexperience03_08.pdf

Source URL: www.istqb.org

• Quality control
• Software bug
• Test effort
• Rex Black
• Test strategy
• Exploratory testing
• Software testing
• Software quality
• Quality assurance

T-Check: Bug Finding for Sensor Networks Peng Li John Regehr School of Computing, University of Utah, USA

Source URL: www.cs.utah.edu

• Data
• Software engineering
• Wireless sensor network
• NesC
• Model checking
• Stack
• Collection Tree Protocol
• Java Pathfinder
• Communications protocol
• Software bugs
• Computing
• TinyOS

From “shotgun parsers” to more secure stacks Sergey Wednesday, November 6, 13

Source URL: langsec.org

• Software bug
• Error detection and correction
• Sanity testing
• Software testing

c 2013 Samira Tasharofi EFFICIENT TESTING OF ACTOR PROGRAMS WITH NON-DETERMINISTIC BEHAVIORS

Source URL: web.engr.illinois.edu

• Bita
• Concurrent computing
• Software bug
• Actor model

HEIDI Stakeholder Group Wednesday 15th October 2014 HESA, 95 Promenade, Cheltenham Development Update HSG

Source URL: www.heidi.ac.uk

• Higher Education Statistics Agency
• Target Corporation
• Economy of the United States
• Heidi.
• Heidi
• Software bug

Source Code Review of the Sequoia Voting System

Source URL: naveen.ksastry.com

• Technology
• Information society
• Computing
• Software testing
• Sequoia Voting Systems
• Voting machine
• Vulnerability
• Code audit
• Software bug
• Election fraud
• Politics
• Electronic voting

Release Notes: Update 2 for GRANTA MI Version 6 April 2013 Update Introduction Granta Design distributes regular updates for the GRANTA MI software package in addition to the major version releases. Updates typically con

Source URL: www.grantadesign.com

• Software bug
• Software
• Computing
• Microsoft Excel

Testing static analyzers with randomly generated programs Pascal Cuoq1 , Benjamin Monate1 , Anne Pacalet2 , Virgile Prevosto1 , John Regehr3 , Boris Yakobowski1 , and Xuejun Yang3 1

Source URL: www.cs.utah.edu

• Programming language implementation
• Frama-C
• Software testing
• Debugging
• Software bug
• Compiler
• Interpreter
• Class
• Clang
• Software engineering
• Software
• Computer programming

Reporting A Problem Pixmeo, the company that distributes OsiriX, is responsible for ensuring that OsiriX is working correctly, without errors and producing correct image quality and measurements. Each release of OsiriX i

Source URL: www.osirix-viewer.com

• Medical informatics
• DICOM
• Science
• Software bug
• Email
• Technology
• Medical imaging
• OsiriX
• Computing